Formalization, Mechanization and Automation of G¨ odel’s Proof of God’s Existence? Christoph Benzm¨ uller1 and Bruno Woltzenlogel Paleo2 1

Source URL: www.logic.at

• Model theory
• Arguments for the existence of God
• Philosophical logic
• Functions and mappings
• Modal logic
• Mathematical proof
• Function
• Isabelle
• Ontological argument
• Logic
• Mathematics
• Mathematical logic

Thursday 4 March, 2010 Shears Stronger Than Ever THE GOLDEN Shears’ half century of existence is more than enough proof for former champion John Allan that competitive shearing is here to stay. The 74 year old veteran

Source URL: www.goldenshears.co.nz

Many Roads from the Axiom of Completeness* Andrew Nightingale Abstract “We all grow up believing in the existence of real numbers . . .” (Abbot, 2001, pThe “property that distinguishes” the real numbers i

Source URL: tigger.uic.edu

• Philosophy of mathematics
• Mathematical logic
• Mathematical induction
• Proof theory
• Number system
• Real number
• Axiom
• Charles Sanders Peirce
• Infinity
• Mathematics
• Logic
• Elementary mathematics

A Note on Constant-Round Zero-Knowledge Proofs of Knowledge∗ Yehuda Lindell† September 24, 2012 Abstract In this note, we show the existence of constant-round computational zero-knowledge proofs of knowledge for all

Source URL: eprint.iacr.org

• Cryptographic protocols
• Proof of knowledge
• Interactive proof system
• Zero-knowledge proof
• IP
• Soundness
• Commitment scheme
• NP
• Non-interactive zero-knowledge proof
• Theoretical computer science
• Cryptography
• Applied mathematics

Valiant’s Polynomial-Size Monotone Formula for Majority Oded Goldreich July 11, 2011 Summary: This text provides an exposition of Valiant’s proof of the existence of polynomial-size monotone formula for Majority. The

Source URL: www.wisdom.weizmann.ac.il

• Circuit complexity
• Probability theory
• Real analysis
• Independence
• Statistical dependence
• Majority function
• PP
• FO
• Monotonic function
• Theoretical computer science
• Computational complexity theory
• Mathematical analysis

Contents Abbreviations vii

Source URL: www.press.uillinois.edu

• Pantheism
• Theology
• Religious philosophy
• Nontheism
• Existence of God
• Idealism
• Mathematical proof
• Spinozism
• God
• Philosophy
• Religion
• Spirituality

Is ethnocentrism adaptive? An ethnographic analysis Francisco J. Gil-White Abstract: An ethnographic analysis of two neighboring ethnic groups, their differences, and their mutual perceptions gives an existence proof tha

Source URL: www.hirhome.com

• Ethnic group
• Khovd Province
• Culture
• Role
• Ethnic groups in Asia
• Asia
• Kazakhs

Formalization, Mechanization and Automation of G¨ odel’s Proof of God’s Existence⋆ Christoph Benzm¨ uller1 and Bruno Woltzenlogel Paleo2

Source URL: arxiv.org

• Model theory
• Arguments for the existence of God
• Philosophical logic
• Functions and mappings
• Modal logic
• Mathematical proof
• Function
• Isabelle
• Ontological argument
• Logic
• Mathematics
• Mathematical logic

On the Existence of Zeno Behavior in Hybrid Systems with Non-Isolated Zeno Equilibria Andrew Lamperski and Aaron D. Ames Abstract— This paper presents proof-certificate based sufficient conditions for the existence of

Source URL: leecenter.caltech.edu

• Equations
• Equations of motion
• Statistical theory

Supplement 2 (of 2) to: Characterizing dye bias in microarray experiments Dobbin, K.K.∗, Kawasaki, E.S.†, Petersen, D.W.†and Simon, R.M.∗ Proof that the existence of gene-and-sample specific dye bias implies that

Source URL: linus.nci.nih.gov

• Logic
• Cyanine
• Entailment